dubyfa'i lujvo

x1 discovers that x2 is identical to x3; x1 discovers x2's identity