https://domainvb.blogspot.com/2023/03/a-sequence-is-function-whose-domain-is.html