If punishing one innocent person provably prevents greater suffering to many, the calculus yields a ...