Government is in the last resort the employment of armed men, of policemen, gendarmes, soldiers, prison guards, and hangmen.