But the question of the truth or falsity of the maximality thesis itself remains open.  Although the terminological decision, if accepted, does prevent one from describing any machine putatively falsifying the maximality thesis as computing the function that it generates.