> Look at a statement of equivalence. You might say that "A is equal to B" or "A == B". There are two "flows" going on there: A has to match up with B, sure, but B also has to match up with A.

Weird way to describe the symmetric property of equality from discrete math 201