If the if condition is false, control:

• aenters the body of the if
• bdoes NOT enter the body of the if; subsequent statements are processed instead
• cgoes back to the start of the program
• draises an error