Curwen had inherited a printing business in Plaistow, east London. In 1915 the government appealed for scrap metal to help the war effort. Curwen gazed at the 'clever, fussy, pretentious Victorian typefaces spread about his composing room floor' and felt a wave of revulsion. He sent away more than 200 founts of type, retaining just one plain one, Caslon Old Face.

Yes, gemmen, we mus stan on our zarve rights. Wat! shall de sassy wite man Nullifly the Guberment? and shall not we, de color men, Nullifly de wite one?

The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.

Declarative multi-paradigm languages combine the main features of functional and logic programming, like laziness, logic variables and non-determinism.