Valid steps, and the structures that hold information.
References on logic, proofs, data structures, and turning facts into form.
