The design strategy was to boil down the story's 17 pages to simple language, 5 sing-along songs and 5 games, with about 100 total clickables throughout the program.

Avoid bulky styles such as duffle sacks, buckets, doctors' satchels, and hobos.

But my work had hardly been published, when a skilful palaeontologist, M. Bosquet, sent me a drawing of a perfect specimen of an unmistakeable sessile cirripede, which he had himself extracted from the chalk of Belgium.

3 was that computer proofs may tend to be less explanatory than traditional proofs because they are more disjunctive, and disjunctiveness reduces explanatoriness.