Look up the story of Flyspeck for this taking an entire career.