Decimation comes from a Roman military discipline procedure where a legion which had run away in battle had every tenth man in the legion chosen by lot, who was then clubbed to death by nine other men.