Re: [math-fun] Attesting to Atoms