Changes

Note: Objections to this proof on the grounds of the inclusion of Johnny Depp should be addressed to [httphttps://elsascholar.berkeleyharvard.edu/~rabin/ capital-montana Matthew Rabin]. Additional Note: The claim that [https://en.wikipedia.org/wiki/Depp_v._Heard Johnny loves his wife hasn't aged well]. This should be changed to Johnny loves [https://en.wikipedia.org/wiki/Vanessa_Paradis French Actress and Singer Vanessa Paradis], his longest romantic partner and mother to his two children, as the odds of him doing better are now approaching zero.