Title: Proofs before pulping