I may be wrong about this, but I think that the example above logically doesn't make sense. The second conditional statement, elseunless(state equals B) will only be reached if the first conditional is true, i.e. state equals a. Effectively the second test will never be true, because when the state equals b, action 1 will be taken.