Powerset_construction loading ...