mitfa'i lujvo

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