added new transition rule for mu