Checking out proofs for a new Todd Cole book for AndPress.