Redirecting to Eilenberg-Steenrod axioms