so what did Thorstein Veblen’s friends call him? “Thor?” Seems a bit grandiose. “Ted”? Did they call him by his middle name, Bunde? Seems unlikely. TB? No that’s a disease. Maybe they just had a totally unrelated name or nickname like Joe or Ace or Lefty?