if a = b, and b=c then a=c