(assert (and)