P © X * if El cr P.