05.10.21 proofs20.10.21 proofs27.09.21 Proofs