14,000 have been gradually pulled out over the last two months.
And now in the dramatic final act 10 carloads of intel agents and "the remaining 250 Syrian soldiers crossed the border."
40,000 minus 14,250. Okay.
PS: You cannot hide an army.
40,000 was the peak number during the beginning of the occupation.