> if A=B and A=C, then A=C

Technically true, but you might still want to double check your logic.