Not to take away from any of your points, but just a minor correction that in many OECD nations (Europe specifically), it's payroll taxes that pay for the healthcare, not income taxes. The former can be double what the latter are.