The Soft Side of Proofing