Rules: Sufficient Conditions for Each Property

Validity: a route implies a corresponding valid path