68.11/22.83	MAYBE
68.11/22.83	
68.11/22.83	Problem:
68.11/22.83	 Ap(Ap(Ap(S(),x),y),z) -> Ap(Ap(x,z),Ap(y,z))
68.11/22.83	 Ap(Ap(K(),x),y) -> x
68.11/22.83	 Ap(I(),x) -> x
68.11/22.83	 Ap(Ap(Ds(),z),z) -> E()
68.11/22.83	
68.11/22.83	Proof:
68.11/22.83	 Open
68.11/22.84	EOF