custerzi'e lujvo

z3 is a condition for free expressive activity z2 by agent z1=c1.

Cf. nunzi'e.