Object Contracts & Immutability