blinding - Revision 42: /Proofs