negpart
Create Map
partitive obj under negation
X