Transition A: ()