enforces
z P.