Tests for State && Transition