P : B ◄ « B & lt;