XiXiDu comments on Explained: Gödel’s theorem and the Banach-Tarski Paradox