Bevis kritiserar matematiska idéer, experiment kritiserar vetenskapliga idéer, skrivande kritiserar allt annat.