If he declines his player option for next year, that is.