logic of the conditional implanted