https://definitionxd.blogspot.com/2023/05/how-to-write-recursive-definition.html