New computational learning theory section