Two Kinds of Reasoning