* * pr & |!