When we substitute `t=0`, the exponential factor reduces to `1`, and we verify that `Ptext[(]0text[)]=P_0`.