Routing correctness