It just doesn't make sense to take Stroman out of the rotation in a trade. If you get a pitcher back, you still have Happ throwing every 5th day, which is exactly what you're trying to stop by trading for an arm. Add to that the much smaller difference in gains from Stroman to pitcherX, when compared to the larger gains from Happ to pitcher X and it just makes zero sense.