Correctness Constraints: Validity


Use the routing logic to express correctness constraints.