How Jack Smith’s giant motion tries to pass John Roberts’ vague test on Trump immunity