Moonshine_theory loading ...