 By repeating this process, and regrouping tensor products, many new examples can be obtained, which are said to be "castling-equivalent".Thus PVS can be grouped into castling equivalence classes.Sato and Kimura show that in each such class, there is essentially one PVS of minimal dimension, which they call "reduced", and they classify the reduced irreducible PVS.