Tag - A Modern Approach to Logical Reasoning 2018