Shouldn't this be on the `Alternation`?