weak                    Equivalence Classes
