8.5, due on October 17

1. I didn't really understand the proof to show that it was symmetric.

2. This kind of broadens the definition of equality. Before, I had only thought of the equals sign, but there are other equivalence relations.