The cross-infection terms transfer susceptible individuals into the infected class: is male incidence caused by infected females and is female incidence caused by infected males. The terms and are recovery flows back to susceptibility. Adding each susceptible-infected pair shows that and are conserved.
Solved by gpt-5.6-sol high.
Codex Wiki