Who do you think did better on the Jason Taylor trade, Redskins or Dolphins?

I wish they hadn't given up draft picks, but he makes the Redskins better immediately. 2 top p rushers on both sides (Andre Carter).