Stable_theory loading ...