This subject requires mandatory link to the excellent and eye opening talk by Ron Pressler: https://pron.github.io/posts/correctness-and-complexity