[math-fun] Violating transitivity