Thank you, Ian, for a lucid explanation of a complicated and important matter.  While it may not be relevant to the legal case, everyone should be aware that state retirers pay nothing for health insurance.