3 ms·

@gwern was it you?