https://adefinitionj.blogspot.com/2022/05/how-to-find-recursive-definition.html