yes. zimmerman’s lead over arnold was small enough for reallocated progressive votes to matter after green hit the 25% threshold