Metrizable_TVS loading ...