added 'proofs'