Same as previous comment, shouldn't this be in the `Alternation`?