MAYBE
22.48/10.19	MAYBE
22.48/10.19	
22.48/10.19	Problem:
22.48/10.19	 f(X) -> if(X,c(),n__f(n__true()))
22.48/10.19	 if(true(),X,Y) -> X
22.48/10.19	 if(false(),X,Y) -> activate(Y)
22.48/10.19	 f(X) -> n__f(X)
22.48/10.19	 true() -> n__true()
22.48/10.19	 activate(n__f(X)) -> f(activate(X))
22.48/10.19	 activate(n__true()) -> true()
22.48/10.19	 activate(X) -> X
22.48/10.19	
22.48/10.19	Proof:
22.48/10.19	 Open
22.48/10.19	EOF