$  _Abx<:PPP