How can we say that this completer "doesn't assign flags to the underlying symbol." in general? The thunk could do that.