The braces group two arguments: the boolean expression that controls the loop and the commands in the loop body.
When a boolean expression is negated, the value True changes to False and the value False changes to True.