(and (p) (not (p)))
