Which one is it? If it can be any of these, we should clarify that in the text.