“A lambda is not (necessarily) a closure” by Andy Wingo. This is an interesting example of a representation decision in a real programming language. Astute observers will also notice that this had previously been assigned as an advanced reading a few weeks ago. Hopefully it's more approachable now!