Re: [math-fun] Attesting to atoms with crystals