I think this is correct in this context, because we know the scope is empty? Though this does point out that people can shoot themselves in the foot by creating a ScopedKey with inconsistent scope and executionString.