We probably would not have done that if not for the other...

We probably would not have done that if not for the other trade, though we like Jason quite a bit. But we would not have taken Arthur off the club if we couldn't add another pitcher to work in an eighth-inning role.