If Hillary is a Democratic nominee