oh the same theory as A=B, B=C but A not equal to C