a) akkor van, ha ezt egzakt módon lehet bizonyítani. Ha lenne, már bizonyítva lenne.
b) persze hogy nem. Következik-e a parádból, hogy holnaptól nem lesz mo-n olyan tv., mely szerint az e-mail és egyéb üzenetek plain textben át kell csorgatni az állam szuperszerverén? Nem következik. Bármi lehet a jövőben. Előre nem félünk.
c) de. Már a neve is kimondja. Ténnyé a bizonyításkor válik, addig csak elmélet, egy lehetséges variáció teóriája.