tybalt89 discovered a bug in Fun with logical expressions: $ echo IEabEba | perl try.pl ORIG: IEabEba MOD: V~V~V~a~b;~V~~a~~b;;V~V~b~a;~V~~b~~a;;; ...> V~V~V~a~b;~Vab;;V~V~b~a;~Vba;;; ...> V~V~V~a~b;~Vab;;~V~b~a;~Vba;; Not a tautology (a equals b) implies (b equals a) is a tautology but the program fails...
