How to prove something that doesn't exist?