Added the translation for the LET substitution.