Scott–Potter_set_theory loading ...