If And Only If In Mathematics