2 ms·

I’m sure this will help proofing papers. There will still be the problem of proofing that the software proofs what it is intended to proof.