In the 2011 drawing of the U.S. "Green Card Lottery', a computer programming error was made and two weeks after the official drawing of the lottery the Department of State closed the website and voided the results.
A lawsuit sought an injunction claiming that, while the process was not mathematically random, it was random in the dictionary definition of âoewithout definite aim, direction, rule or method". The court, analyzing language from the State Departmentâ(TM)s regulations, and examples from laws on casinos and the like, rejected that and came out in favor of a mathematical definition of randomness. The lottery is voided and the results of the new drawing came out today at noon EST."
Link to Original Source