Text this: Learning languages from positive data and negative counterexamples

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