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