Checks that a boolean expression is
true
.