8. The computer-based method of claim 1, wherein the enforcing the relation that defines equality between objects of the class C has a property of grouping objects according to their identity. 9. The computer-