Implemented new syntax for logic.