The tyrannous and bloody act is done,— The most arch deed of piteous massacre That ever yet this land was guilty of. Dighton and Forrest, who I did suborn To do this piece of ruthless butchery

In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.

The trees and shrubs are not arranged after any particular system, but are scattered or groved together in various parts of the garden.

Jed Maxwell: See you next week then. We'll have that pint. Alan Partridge: Yep. Jed Maxwell: ...go and see my brother. Alan Partridge: No way, you big spastic! You're a mentalist!