A Modern Approach to Logical Reasoning