zatfa'i lujvo

f1 discovers the existence of x2=z1 under metaphysics z3.