p^x||y