2 Logic and Reasoning