Catégories à Cambridge, NS, PI-PP