zukselpla lujvo

p2=z2 is a policy of p3=z3 (nu) prescribed by p1.