And Trump does not take power until January 20.