196.26/50.23	MAYBE
196.26/50.23	
196.26/50.23	Problem:
196.26/50.23	 a(a(a(x1))) -> x1
196.26/50.23	 b(a(b(b(x1)))) -> a(b(b(b(a(x1)))))
196.26/50.23	
196.26/50.23	Proof:
196.26/50.23	 Open
196.26/50.23	EOF