Redirecting to Higman's embedding theorem