These persons are just as much craftsmen as ordinary workmen, though of a different kind, so when one of them undertakes some public task, voluntarily or under orders, and performs it well, the law will never tire of praising anyone who pays him the honor he deserves honor being in effect a military man's pay.