Доказательства критикуют математические идеи, эксперименты критикуют научные идеи, а писательство критикует все остальное.