added transition rule for mu