Quasi-set_theory loading ...