Introduction to Reasoning