Thanks. This clarifies. The license that was granted by Iterated to DFMI seems, according to the judgment, to be PVS/SGI limited in someway. But you say the code itself was modified by iterated to run on windows? (And Pcs running windows?)