After closing, the count can only decrease. Thus is the event that at least one mosquito remains at . The zero probability of a Poisson count yields the clearance time after closing an infinite-server queue:
The clearance time has an atom at zero of mass , corresponding to an empty room when the window closes.