The toolkit is contradiction, construction, contraposition. Science is dynamic, and proof ever evolving. “Even mathematical notions of proof” are “not always as robust and politics-free as they might ...