On 11/7/07, Cesare Tinelli <tinelli at cs.uiowa.edu> wrote: > The standard *does* allow a multiarity = (with arity starting at 2). > See, e.g., pages 36 and 37 of the standard. > The semantics of (= a b c) is meant to be (and (= a b) (= b c)), as > one would expect. I find it strange, that (= a b c) is different from (iff a b c). -- Michał