I haven't even looked at the trade to be honest so I don't know but I figured he would be traded and martin and harrison will be cut assuming Mario is healthy