Set_abstraction loading ...