OllieRodriguez comments on Introducing EA Resources by LEAN