Indisputable Proof