what's is the missing justification ? transitive property. relfectuve property. symmetric property. subsitution property