finished powerset interpretiation