arnott writes: "Science Applications International Corp. said Wednesday that it will pay $500.4 million in restitution and penalties under a settlement over its CityTime program with New York City. Previous coverage on slashdot here and here. Video coverage." Link to Original Source
One can't proceed from the informal to the formal by formal means.