«^»
3.2. The contract that hashCode should satisfy