How To Prove If And Only If