Add [forall]/pi categories (indexed product categories)