Redirecting to Pasch's axiom