Transitivity of identity