1d. Die Proofs