(assert (not)