Changed variables to constants in Logic, and modified the 'help' message shown