equals and hashcode contract example