The hole in the doughnut: Formalizing and testing a key model of degrowth | Synapse