alternation

not defined yet