add let proc