MAYBE
34.33/10.29	MAYBE
34.33/10.29	
34.33/10.29	Problem:
34.33/10.29	 a(x1) -> x1
34.33/10.29	 a(x1) -> b(x1)
34.33/10.29	 a(c(x1)) -> c(c(a(b(x1))))
34.33/10.29	 b(b(x1)) -> a(x1)
34.33/10.29	
34.33/10.29	Proof:
34.33/10.29	 Open
34.33/10.30	EOF