@twang @nuzzel @carlmalamud it's the annotations, not the laws, that they are litigating over as I understand it