Comment by macleginn

The thing is, you often see people saying, ‘They have a Lean cert, so it has to be correct, even if I don't understand it.’