pr w * - * pr p cr*