counterproving (300404072) 'produces' counterproofs (300041321);