3 ms·Unlike the title this also include the main result and a bit of derision.by bnegreve 12y agoUnlike the title this also include the main result and a bit of derision.