Naomi's proofs14

Naomi's proofs14