preliminary proj/union/diff/xprod done