Condition t, Pt, 2.

Gate (Explicit)