Situation_theory loading ...