Here's the big omega combinator as annotated lambda diagram. Plus showing how the (here non-terminating) evaluation could be fluently animated. 🤤 ( John Tromps unannoteed version here: https://tromp.github.io/cl/diagrams.html )