Prove All Things