Implemented using nested let binding to do variable look up