Redirecting to Harnack's curve theorem