ABX1 1: Universal health insurance without health care