I’m pretty sure I did.
A Roman soldier is just about to retire with a nice pension after 25 years when the emperor orders every 10th man killed aka Decimation. He was number 10.....
The emperor pockets the pension.
Still done today at GE where 10% are fired in every dept every year regardless and other companies decimate their companies usually right before Christmas.