But in any case there is hardly any difference between a mandatory insurance policy run by a government and a tax.