Rough outline

Did some work for all the 4 proofs. Still need to fix some of the ...'s
and gaps in the work.