The step says that I should look at the output, and the next step says that “the conditionals are only valid for odd numbers of rings”, but I cannot tell anything wrong with the output in the first place?
Edit: nevermind, I found that certain “Move allowed between…” are missing, but I feel it should be pointed out more concretely in Step 38