Proving a Negative is Hard. - zeta