[math-fun] spherical pendulums?