15.1 Transition Definitions