The formal Democratic nominee