x imp y
Returns TRUE if x and y are true or y is false (logical implication).
FALSE imp TRUE // Returns True. (1<2) eqv (3>2) // Returns TRUE.