The detectors he introduces are not local operators, but "almost local operators." Possibly the way out of this mess is to suggest that no operation, performed in any bounded region U, is *exactly* capable of verifying an occupation number, but can do so approximately insofar as U is big (??)