Finished modifying proof of 8.4, addressed comment on Definition 8.1
Working on introduction
Merge branch 'master' of github.com:roed314/rectifiers

Conflicts:
	RectifiersPaper.tex