MAYBE
21.57/10.19	MAYBE
21.57/10.19	
21.57/10.19	Problem:
21.57/10.19	 ap(ap(g(),x),y) -> y
21.57/10.19	 ap(f(),x) -> ap(f(),app(g(),x))
21.57/10.19	
21.57/10.19	Proof:
21.57/10.19	 Open
21.57/10.19	EOF