We would like to add an output that is 1 whenever the system is in state 3 and got there because it was out of sequence (when x is 0 and the system is in states 5, 6, or 7, or if x is 1 and the system is in states 0 or 1). This requires another flip flop.