recursive prefix cond