3 ms·

One is disprovable, the other is not.