Naomi's proofs8

Naomi's proofs8