finally unstuck!
added optional proofs
forgot to comment out stuff
stuck on one problem in lesson3.