In May I drafted a complaint, mostly for fun and to do a little venting, seeking a writ of mandamus to compel production following the secretary’s refusal to comply with the demand for the returns. Here is the real deal, filed today in the United States District Court for the District of Columbia.