Triangle_inequality loading ...