Spherical_trigonometry loading ...