https://thesishub.org/induction-pattern-recognition/