: Thus the first statement specifies initialization for the loop; the
condition (
[stmt.select]) specifies a test, sequenced before each
iteration, such that the loop is exited when the condition becomes
false; the expression often specifies incrementing that is
sequenced after each iteration
. —
end note