Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations.

kings ſhall crouch vnto our conquering ſwords, And hoſtes of Souldiers ſtand amazd at vs, When with their fearfull tongues they ſhall confeſſe Theſe are the men that al the world admires,

Before proceeding to do so, however, it is advisable for me to make a few prefatory remarks on the clinology of biliary concretions.

In effect, lazy evaluation would force things to happen in the proper order: The car of output is the first prompt. The cadr of output is the first square, a value that requires evaluation of the car of input. The caddr of output is the second prompt.