I was just quoting Mueller who sounded as if he had just heard of the IRS case for the first time: “The IRS case?”