"What is Taken from the library will never Leave the library, and neither will the Thief."
It's just a matter of preempting the inevitabilities. In doing so you're right, it'll be nothing at all. Proving a negative.