Harris will be elected president.