4 ms·<whatever-done-correctly> is better than <wrong>by Bost 4y ago<whatever-done-correctly> is better than <wrong>