Every so often, solver brawls over brand names