unfinished powerset interpretation