A compact existence proof in tension with an identified witness¶ This page has moved to A compact existence proof in tension with an identified witness.