hypothetical reasoning