fixed bug in transitivity of =