P ◄ p : S- tB s-o