Lean is a write only programming language.