Leibniz, the pessimum, and the death penalty