simplify and rename
transitivity of matchings