> They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out. They do that in lean

> They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out. They do that in lean too; that's the idea of simp.