Set_theoretic_programming loading ...