It's not terribly difficult to understand `let` if you have a background in math, given that nearly every formal proof defines variables with `let x:=`