Better: High-level Reasoning Verify the behavior of a particular configuration. Check "correctness properties". Check that the configuration conforms to intended behavior. More than a band-aid fix. Useful for any router configuration language. Specify configuration based on intended behavior. Configuring low-level mechanisms is error-prone. Specifying high-level intended behavior makes sense.