Text this: Learning languages from positive data and negative counterexamples

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