Catégories à Atwood, ON, PI-PP