Added Equivalence Relations stuff. Still need better formatting.