Prove All Things: Failing A False Test