A Contract Is Best Defined As