[math-fun] Attesting to Atoms