New Blog Post... "The Language of Lean"