v X : r \ P)