Undeniable proof