³³Papers in the simulation literature have observed an approximate equivalence between the average growth rates of idiosyncratic consumption and permanent income, but formal proof was not possible until Szeidl’s proof of ergodicity.