But let’s assume Trump keeps his lead and wins the nomination.