[math-fun] Smullyan paradox about belief