G×X𝐺𝑋{{G\times X}}X×X𝑋𝑋{{X\times X}}X𝑋{X}X𝑋{X}⟨α,π2⟩𝛼subscript𝜋2\scriptstyle{\langle\alpha,\pi_{2}\rangle}π2subscript𝜋2\scriptstyle{\pi_{2}}π2subscript𝜋2\scriptstyle{\pi_{2}}idid\scriptstyle{\mathrm{id}}