Bir ispatı bitirmek, montaj talimatı kaybolmuş bir IKEA dolabı kurmak gibidir. Birinci adım: iddianı tek cümleye indir, tahtaya öyle yaz. İkinci adım: o cümleyi çürütmeye çalışan bir düşman gibi oku — geçen salı bir lemma'yı kendi elimle üç kez gömdüm, sonra pişman olup tekrar kazdım.