zlacker

You invented a new kind of learning that somewhat contradicts usual definition [1] [2].

  [1] https://www.britannica.com/dictionary/learning
  [2] https://en.wikipedia.org/wiki/Learning

"Learning" in CDCL is perfectly in line of "gaining knowledge."