u1: P.
u2: P.
u3: P.
