Are AB and BA names for the same line segment?