Sorted lines that go into transitive correctly