A Theory of Quits and Layoffs with Efficient Turnover | Synapse