removed methods relating to nonTrivialPowerSet