Non-escaping lets, join-points and binding updatability

Hi all, I'm trying to understand this: 1. Note [What is a non-escaping let] says that one of conditions of binding being a non-escaping let is non-updatability. 2. My understanding is that a if a binding has at least one parameter it is non-updatable, though I suspect that converse does not have to be true (lambdas) 3. Join-points are implemented using LNE bindings and I can imagine a join-points not having any parameters (and not being a lambda). Three points above seem inconsistent - where does my reasoning go wrong? I suspect that the Note might be wrong and an updatable binding can in fact be a LNE binding. Janek