cf P= &