generalization bound
17 following