Logical Expressions
Assertions take the form of logical expressions,
they evaluate to either true or false.
Examples
Boolean variable or constant
An expression followed by a relational operator
followed by an expression.
A logical expression followed by a logical operator
followed by a logical expression.