introduction and practice of the let construct - wip