Not to nitpick too much, but Robinson was a trade