' X lies P.