Proving Futile