" (Muuten, vaikka se ei olekaan osa eston vapauttamispyynnön hylkäämisen syytä, mainitsen vielä yhden seikan. Minua kiehtoo tietää, miten todiste jonkin asian olemattomuudesta voi mahdollisesti olla rakentava. Jos haluan todistaa, että jotain on olemassa, voin tehdä sen tavalla, joka osoittaa, miten se voidaan konstruoida, tai sitten en. Jos jotain ei kuitenkaan ole olemassa, en voi mitenkään osoittaa, miten se voidaan rakentaa. Joko olen ymmärtänyt jotain törkeästi väärin, tai sitten et oikeastaan tiedä, mitä tarkoittaa todisteen kuvaaminen ""konstruktiiviseksi"")"."