Cops as a group is formalized by their own work choice.