Proving a negative
 
x
OK