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