on the way to incroduce LET binding