PartitionAllP()