Stability_theory_(model_theory) loading ...