Definition:Logical Alternation