US civil service employees are just a bunch of lazy marans