smale correctness