[math-fun] First(?) confluent path-invariant result