delete: duplicated definition: let, named-let