VWEQ, chapter 23 (Expressions and constants), page 375

     An Equality expression is valid if and only if either
     of its operands conforms to the other.
