Nyilván a Church tézis egy tapasztalati tény, és olyan módon "használom" fel, hogy "biztos" nem ebben az esetben lesz kivétel.