Text this: Iterative learning from positive data and negative counterexamples

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