Quotes by Lean Logic: A Dictionary for the Future