exactcond
