All but powerset implemented