Suppose and Tell: The Semantics and Heuristics of Conditionals