MAYBE

Problem:
 f(X) -> if(X,c(),f(true()))
 if(true(),X,Y) -> X
 if(false(),X,Y) -> Y

Proof:
 Open