About the metric approximation of Higman's group

We prove that Higman’s group does not embed into a metric ultraproduct of finite groups with a commutator-contractive invariant length function.