3 ms·

I would change it to "It is not sufficient merely to prove AN ALGORITHM IS correct; You have to test your implementation as well" ...