work on proofs and beginning examples