ultrametricizes