What does "5000 Israeli troops" mean? Do they all have to be inside Lebanon at the same time? And how does this resolve if the exact numbers are not public?

Very good point. I revised with criteria that approximates that number of troops and is likely to be publicly available information.