Text this: Counter-Example to Diaby’s et al. Linear Programming Solution to the Traveling Salesman Problem