[JumpCrisscross]

> it could also be done by keeping the budget flat and letting GDP growth catch up

This in practice requires real cuts due to inflation.