Hypothetical Machines