Texas Lottery...Corporation" (formerly known as GTECH Corporation) ("IGY') (collectively, "the Parties") entered into a contract for Lottery Operations and Services with an effective