Don't have Telegram yet? Try it now!
https://canticlesfromcatacombs.com/2019/01/11/lean-originally-one-rev-1-10-2019/
Lean [originally "One"; rev. 1-10-2019; withdrawn for final revision and publication]