OllieBase comments on Introducing EA Resources by LEAN