The statement or block of statements following the while clause is known as the ____________ of the loop.

HTTPS would more likely to be used for Internet banking than HTTP

Indicate whether the statement is true or false

In addition to the axioms for a programming language, it must also be shown that the program ______ in order to verify the correctness of a program.

Fill in the blank(s) with the appropriate word(s).