Proofs 2.10.23Proofs 180823