Geodetic theory