Replacing muAll and muOr with calls to ALL and OR.