On the power pseudovariety

The pseudovariety PCS which is generated by all power semigroups of finite completely simple semigroups is characterized in various ways. For example, the equalities PCS = Jm CS = BGm RB are established. This resolves a problem raised by Kad'ourek and leads to several transparent algorithms for deciding membership in PCS.