what property justify
if <1 = <2 and <2 = <3 then <1 = <3