MAYBE
31.18/10.17	MAYBE
31.18/10.17	
31.18/10.17	Problem:
31.18/10.17	 a(b(x1)) -> b(b(b(b(x1))))
31.18/10.17	 b(a(x1)) -> a(a(a(a(x1))))
31.18/10.17	 a(x1) -> x1
31.18/10.17	 b(x1) -> x1
31.18/10.17	
31.18/10.17	Proof:
31.18/10.17	 Open
31.18/10.18	EOF