[math-fun] Sodalite (is it sugar-free?)