Next level Mahoney logic view 3