The expression to check is true
The Check evaluates this expression to ensure that it is true.