triangle equality now