cmuselzba lujvo

x1=z2=j1 is an infrastructure built by x2=z=1 out of x3=z3 for x4=j2

from jicmu+selzba