Reading group slides for the discussion of the paper Header Space Analysis: Static Checking For Networks (NSDI 2012).