mingyuan comments on Introducing EA Resources by LEAN