~ p Q *Pr