Yes, I vested my final payment from my original RSUs in October.