Another example of alternation