plicru lujvo

c1 (agent) allows the use of p2 for use x3=p3 under conditions x4=c3.