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?