VWBE, chapter 23 (Expressions and constants), page 374

     A Boolean_expression is valid if and only if it is an
     Expression of type `BOOLEAN'.
