Comparison, Equality, Sorting, and Equivalence (— Coming soon —)