Right, I was just remembering back then and, as you say, thinking that a naive flattening of environments would cause the same argument to be passed many many times.