Add definitions and notation. Start adding 3 cones proof.
Remove jon-proofs.
Merge branch 'master' of github.com:jallen01/races

Conflicts:
	paper.pdf
	paper.tex

Merged differences.