Introduce the let function