發送短信: The birth of model theory