Syntax clarification

Since I spent some time reading the spec now, I actually happened to run into the piece of info that the TODO
questions.