We study insurers' use of prescription drug formularies to screen consumers in the ACA Health Insurance Exchanges. We begin by showing that Exchange risk adjustment and reinsurance succeed in neutralizing selection incentives for most, but not all, consumer types. A minority of consumers,...