Hereditarily_finite_set loading ...