dd - Revision 76: /proofs