Should the DOJ refuse to persue the criminal contempt found by Judge Boasberg against the administration, the judge can appoint a special prosecutor to do so. I hear Jack Smith is available.