Conditional execution: if statements

The language has available a conditional construction of the form

if (expr₁ ) expr₂ else expr₃

where expr₁ must evaluate to a logical value and the result of the entire expression is then evident.