The detection loophole was first closed in an experiment with two entangled trapped ions, performed within the ion storage group of David Wineland within the nationwide Institute of expectations and know-how in Boulder. The experiment experienced detection efficiencies very well above ninety%.[20] Implicit in the theorem will be the proposition th