mathlog 2. 1/3 of proofs