The loop repetition conditions of for statement is tested at the end of each pass. The body of a while statement must cause the loop repetition condition become false after a finite number of passes to prevent an infinite loop. In counting loops, the counter must be initialized to zero before execution of the loop body begins. The loop condition of while or for statement can be false before loop begins to execute. Loop counter variables are usually of type float. A compound statement is a sequence of statements enclosed in {} braces. The symbol - is the C equality operator. The following decision structure is invalid if x y) {y = x; x = y;} Conditions are said to be mutually exclusive if at most one can condition can be true at a time