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