Martin_K comments on Introducing EA Resources by LEAN