"about the logical impossibility of proving a negative."