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