Ignoring local-examples