HFO Recursion