I think the section talking about that was phrased a little weirdly. It was meant to express that we decided to assume transitivity unless we could find a counterexample, and that we haven't yet found one. I've updated the wording a bit to have it be clearer now!