Loop Design :

Proper loop design is essential to ensure correct program behavior. A well-designed
loop must include correct initialization of control variables, a condition that
eventually becomes false, and statements within the loop body that move the loop
toward termination.

Failure to design loops correctly may result in infinite loops or incorrect
results.