Unate Recursive Paradigm