Added figure: semantic function for let-calculus