CatGloss

Notice that $ [p) $ being hereditary can be identified (Exercise 2