Step 1. Termination condition
Q: How many examples is enough?
A: Probabilistic model [Valiant, Kearns, …]
Want learned wrappers to be “PAC” (Probably Approximately-Correct):
examine enough examples so that with high probability, the wrapper has high accuracy.