Rules for Reasoning