How To Write Equivalence Classes