Heliocentric_theory loading ...