o pr P =;