LeanNaDe comments


v20240901