Comment Comment by ulysses4ever Your intuition is right but _every_ expression is bound by a variable in this representation. parent ulysses4ever 4 years ago