Verifying Rollett’s Proviso on Active Devices Under Arbitrary Passive Embeddings | IEEE Journals & Magazine | IEEE Xplore