Therefore, E v0 is globally asymptotically stable (GAS) since Ĝ(X G ,Z G ) > 0. The GAS of E v0 excludes any possibility of the phenomenon of backward bifurcation. We note that the GAS of the DFE E v0 when s = 0 is straightforward.