Good point.  I heard that Mueller has been winding down his investigation of the Trump campaign ever since Trump tweeted that it was, in fact, Obama who colluded with the Russians.   I just wish Trump had pointed this out earlier.  It could have saved Comey and Mueller a lot of needless work.