52.33/31.04	MAYBE
52.33/31.04	
52.33/31.04	Problem:
52.33/31.04	 c(t(x,y,z)) -> c(t(y,x,z))
52.33/31.04	 c(t(x,y,z)) -> c(t(x,z,y))
52.33/31.04	 c(t(x,x,z)) -> true()
52.33/31.04	
52.33/31.04	Proof:
52.33/31.04	 Open
52.33/31.04	EOF