"No. 5: HealthCare.gov is up and running."