This blew my mind. A relation can be transitive if two transitive pairs can't be found. Which confirms the p -> q logic of "if p is false, then q is true". Apologies if I'm slow, but that really opened my eyes.