Part I — The Object

Before anything can be derived, the object of study must be fixed. This part quotes the web’s own definitions — a pair of functions with one deliberate omission — and states the question the rest of the book answers: what must State be?

A transparent rounded object; an arrow carries a document out, and a second arrow curves back in