發送短信 : Automatic models of first order theories

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