>>468
F(u1) = u1
F(u2) = u3
F(u3) = u2
F(u4) = u4