To iterate is human, to recurse divine. -- L. Peter DeutschIn this chapter, a high-level overview of PyPedal is provided, giving the reader the definitions of the key components of the system. This section defines the concepts used by the remaining sections.