This can never succeed, because `S` is undefined.