Added a bunch of preliminary work.
Layed out our hopeful claims as propositions/theorems
Added proofs of some of them.