for k:= 1 to n - 1 for j:= 1 to k + 1 [Statements in the body of the inner loop, none containing branching statements that lead outside the loop] next j next k