Project(BGP( ?y ?z), {?y, ?z})