If And Only If Proofs