Project(BGP( ??1 . ??1 ?p ?o), {?o, ?p})