> The Collatz conjecture is almost certainly not false, so no "clean up" is possible.
Many people believed the same about the Jacobian Conjecture.
non sequitur