with Womach, C. , 2003, 'Randomization, persuasiveness and rigor in proofs', Synthese 134 (1-2), 71-84.