https://definitionhjo.blogspot.com/2023/03/definition-of-explicit-function.html