In reply to Re^2: Pattern matching simultaneous substitution by Anonymous Monk in thread Pattern matching simultaneous substitution by Anonymous Monk