smales problems