On Hypothetical Contracts