Depressing that correctness comes in last, especially since it includes so many valuable sub properties, among which 1. Correctness of the code 2. Correctness

Depressing that correctness comes in last, especially since it includes so many valuable sub properties, among which 1. Correctness of the code 2. Correctness of automatic refactorings, which dynamically typed languages can never achieve, which is why refactoring a dynamically typed language always requires the supervision of a human