3 ms·

I believe you made an unfortunate typo, substituting "probably" when you meant "provably".

• thomasahle 11y ago
  Even auto correct finds it surprising :-)