Spherical geometry and its applications. ([2020])