Transitive Property Vs Substitution Property