(assert (distinct)