MAYBE
40.38/10.40	MAYBE
40.38/10.40	
40.38/10.40	Problem:
40.38/10.40	 a(b(c(x1))) -> c(c(b(b(a(a(x1))))))
40.38/10.40	 a(x1) -> x1
40.38/10.40	 b(x1) -> x1
40.38/10.40	 c(x1) -> x1
40.38/10.40	
40.38/10.40	Proof:
40.38/10.40	 Open
40.38/10.40	EOF