20.09.21 Proofs