mathlog. 1/2 hw3 + enhanced proofs