“…Alternatively if (x 0 , µ 0 , x 1 , µ 1 ) satisfy the models and v is a proper detection signal, but the outputs are still not distinct, then (x 0 , µ 0 , x 1 , µ 1 ) must not satisfy the noise bound (1.13) for i = 0, 1 [2]. Thus, if (x 0 , µ 0 , x 1 , µ 1 ) satisfies the models and v is a proper detection signal, but an output, y, is still in both output sets, it must be that…”