Text this: Iterative learning from positive data and negative counterexamples

  _  __     ___      _  _    _    _     _  __  
 | |/ //   / _ \\   | \| || | || | ||  | |/ // 
 | ' //   / //\ \\  |  ' || | || | ||  | ' //  
 | . \\  |  ___  || | .  || | \\_/ ||  | . \\  
 |_|\_\\ |_||  |_|| |_|\_||  \____//   |_|\_\\ 
 `-` --` `-`   `-`  `-` -`    `---`    `-` --`