3 ms·8.012 is a lot more interesting than 8.01by ekm2 15y ago8.012 is a lot more interesting than 8.01