Ricardian equivalence: long-run Leviathan