writing direct proofs part 1

Upgrade
Loading…