Project(Minus(BGP( ?v 'z'), Filter((?v = ), { })), {?v})