MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(s(x),y) -> f(x,s(x))
0.08/0.18	 f(x,s(y)) -> f(y,x)
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF