(assert (ite))