Defining conditions on transitions