Hi, can somebody help me with my little problem? I want to say something like this: implication: formula '->' formula -> '!' formula OR formula; How do I identify the two different formulas? Best Regards, Stephan