Implemented basic lambda and user procedures.