Double-clutching is the right way to downshift at a high speed and not place excessive wear on the trannys synchros. It lets you go down to a much lower gear without the tell-tale lurch you normally get when the clutch is let out after downshifting