Text B PPS and PPC