In the if A=B and B=C then A=C catergory