Multi rules and simplifications