Finish checking intro and definitions. Made paper smaller. Added new line proof.