Bevis kritiserer matematiske ideer, eksperimenter kritiserer vitenskapelige ideer, skriving kritiserer alt annet.