$${\phantom{\mathrm{fail}}X}_0=X_0$$