H.L.A. Hart's mixed theory distinguishes the general justifying aim of punishment from the principle...