Another advantage is the alignment of the braces with the block that emphasizes the fact that the entire block is conceptually ( as well as programmatically ) a single compound statement.
12.
Negating the Playfair's axiom form, since it is a compound statement ( . . . there exists one and only one . . . ), can be done in two ways:
13.
Negating the Playfair's axiom form, since it is a compound statement ( . . . there exists one and only one . . . ), can be done in two ways.
14.
It can be legitimate for a single compound statement to be supported by more than one source, even in cases where the complete statement is not a rephrasing of information found in a single individual source.