, p~A } & gt;