https://machgine.blogspot.com/2023/10/function-machines-and-function-notation.html