The expression to check is true

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