Alternations [ABGT174]