By the numbers i got from jetscap and roto, he would have counted about 3.9 million against the cap (3 million salary and 900,000 prorated bonus). The trade makes his cap hit about 4 million in accelerated bonus money. So technically the trade costs an extra 100k for Coleman. But we did save 1.5 million on the other two guys.
