Ultrafilter_on_a_set loading ...