196.14/50.10	MAYBE
196.14/50.10	
196.14/50.10	Problem:
196.14/50.10	 a(x1) -> x1
196.14/50.10	 a(x1) -> b(x1)
196.14/50.10	 b(b(c(x1))) -> a(c(c(c(a(a(x1))))))
196.14/50.10	
196.14/50.10	Proof:
196.14/50.10	 Open
196.14/50.10	EOF