https://definitionfb.blogspot.com/2023/04/write-recursive-definition-for-sequence.html