Radical_theory loading ...