transitivity pairs