Prove All Things: "if"