Lean Logic: A Dictionary for the Future and How to Survive It