counterproofs (300041321) 'produced by' counterproving (300404072);