5. Alternative Grammars? The Case of Formal Logic