Hypothetical Software