THEORO - A set of propositions used to explain some aspect of Walden Pond.