Improving some policy asserting