If the remainder when x is divided by 2 is 0, then we know that x is even, and the program
displays an appropriate message. If the condition is false, the second set of statements
runs. Since the condition must be true or false, exactly one of the alternatives will run. The
alternatives are called branches, because they are branches in the flow of execution.