b696e806e85f1c07f2f5ea07f2b5babcd656e0d6Karl Luc(iff (AllEq x y ...)
b696e806e85f1c07f2f5ea07f2b5babcd656e0d6Karl Luc (and (= x y) (AllEq y ...)))
b696e806e85f1c07f2f5ea07f2b5babcd656e0d6Karl Luc(iff (AllDiff x y ...)
b696e806e85f1c07f2f5ea07f2b5babcd656e0d6Karl Luc (and (not (= x y)) (AllDiff x ...) (AllDiff y ...)))