$  pP&v2?v2|vR~?v to~3}  \PP