Firing taxes are due only if a separation is labelled a layoff rather than a quit. Since it is Pareto optimal for firms and workers to label a separation a quit whenever doing so maximizes joint wealth, firing taxes have real effects only as long as layoffs are subsidized relative to quits. When...