Transition labels and tests.