uitius uitius comments on Gödel’s Legacy: A game without end