Contracts should not include...
information about the actual
representation
of the type
information about the actual
implementation
of the associated operations