# Formalizing the Parasitic Equilibrium