Naomi's proofs16

Naomi's proofs16