In reply to Re^2: Understanding alternation by Anonymous Monk in thread Understanding alternation by Anonymous Monk