Naomi's proofs15

Naomi's proofs15