navzmi lujvo

z1 is a nanobot performing function z2 under conditions z3.