Naomi's proofs18

Naomi's proofs18