¹By this notation, we could have defined G₀(s) = P₀(G(s)) and G₁(s) = P₁(G(s)).