So, Trump fired Comey.