[math-fun] Lie-sphere lurker