Redirecting to Hausdorff maximal principle