If he stays, fine - but he better start playing like he's worth the money he's being paid. If he opts out - we still have a full compliment of a starting IF assuming Lewis is healthy (Miranda, Lewis, Polanco, Arraez). The money freed-up by a Correa departure gives the front office more to play with to overhaul the outfield, the entire pitching staff, and getting a DH that's worthy of the title.