Pascal's conditional statement for two-way branching. The `else` clause is optional. The *dangling else* ambiguity is resolved by associating `else` with the nearest preceding `then`. (Ch. 5)