https://thelogictutorial.blogspot.com/2024/04/functions-definition-in-discrete.html