Contract and implementations for common-useful domain objects