Before revision: Although implementations can only be tested, and testing can only prove the presence of errors (and not their absence), algorithms can be proven correct.
After revision: Although implementations can be tested, and testing can only prove the presence of errors (and not their absence), algorithms can be proven correct.