Tag - A Modern Approach to Logical Reasoning