How do you use configuration management tools like Chef or Puppet to enforce server state at Lockheed Martin?