So, Trump got elected.