Non-well-founded_set_theory loading ...