Why nott? They both went thru it in the arbitration (which is already part of the current US District Court in Delaware case).