Wow, thanks. I had been looking for this word to explain what happens in awk. Now I know what it's called!