implemented Let