improved mud controller
added implication and equivalence operators