Generate PoliceA and PoliceB