2 ms·'I made this comment very long only because I have not had the leisure to make it shorter.'by gwern 10y ago'I made this comment very long only because I have not had the leisure to make it shorter.'