And in other news, Trumpty has filed suit against the WSJ, Dow Jones News Corp, Rupert Murdoch, and two WSJ reporters. So if there's a lot more relevant material, we are likely to see it in discovery.