A::p A::p B::p