What Government‐​Run Health Care Really Means