Reasoning through assumptions, implications, contradictions, analogies, definitions, and logical conclusions.
