Abstraction, Interpretation, and Deductive Reasoning