What to do about the DOJ?