If Trump is elected . . .