Comment by rfgplk

Skill issue. Also lean is meant to be executed, not read.