What is the missing justification?
transitive property
reflexive property
symmetric property
substitution property
transitive property
reflexive property
symmetric property
substitution property