No, there's another option: Health care company profits could go down. (But I suspect that people who want both (2) and (4) overestimate how far they can go before they reach zero, at which point we quit having health care companies, and then we have no health care coverage...)