3 ms·Look up the story of Flyspeck for this taking an entire career.by wbl 3mo agoLook up the story of Flyspeck for this taking an entire career.