Registre de correu electrònic: Recursive sufficiency for the Collatz conjecture and computational verification