7.06/6.83	MAYBE
7.06/6.83	
7.06/6.83	Problem:
7.06/6.83	 a(x) -> b(b(b(x)))
7.06/6.83	 a(x) -> c(x)
7.06/6.83	 b(x) -> b(x)
7.06/6.83	
7.06/6.83	Proof:
7.06/6.83	 Open
7.06/6.84	EOF