terme'e lujvo

x1 calls x2 by name x3.