Benz proofs