發送短信 : Institution-independent Model Theory

  _____      ___      _____    _    _   __    __  
 /  ___||   / _ \\   /  ___|| | || | || \ \\ / // 
| // __    | / \ || | // __   | || | ||  \ \/ //  
| \\_\ ||  | \_/ || | \\_\ || | \\_/ ||   \  //   
 \____//    \___//   \____//   \____//     \//    
  `---`     `---`     `---`     `---`       `