A `Decision Making Statement` that takes a boolean `Expression` as its "condition" and proceeds to execute its "then" or "else" branches depending on whether the "condition" evalutates to "True" or "False". The "else" branch may be optional, and thus nothin is executed when it is absent and the "condition" evaluates to "False".