I.e. there is No proof that the programs did NOT exist.

So, we're back to the "proving a negative" thing...where's Dickey to explain? This is something we actually agree on!