Logical Reasoning by Simic (on tee here)