(assert (and ()