>"An algorithm solves a problem only if it produces the correct output for every possible input — if it fails even once, it’s not a general-purpose algorithm for that problem."
https://www.quantamagazine.org/alan-turing-and-the-power-of-negative-thinking-20230905/