[math-fun] Attesting to atoms with crystals