P ^ S3 o pox=r