What happens now with Trump?