MAYBE
79.75/29.95	MAYBE
79.75/29.95	
79.75/29.95	Problem:
79.75/29.95	 f(a(),f(b(),x)) -> f(a(),f(a(),f(a(),x)))
79.75/29.95	 f(b(),f(a(),x)) -> f(b(),f(b(),f(b(),x)))
79.75/29.95	
79.75/29.95	Proof:
79.75/29.95	 Open
79.75/29.96	EOF