Changed \forall
Removed some :=
Changed some variable names for fields
Merge branch 'master' of github.com:roed314/rectifiers

Conflicts:
	RectifiersPaper.tex
Undid Moshe's testing changes.