Project(BGP( ?s ), {?s})