!EX(state[1:0] = 1);