THE NAME OF A BOOLEAN CONDITION THAT MUST BE SATISFIED IN ORDER FOR A STATE TRANSITION TO OCCUR