Redirecting to Huzita-Hatori axioms