Text this: Institution-independent Model Theory

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