 As already noted, even the inferential use of “if” is not always associated primarily with the business of stating necessary and sufficient conditions. This observation, together with the cases and distinctions mentioned in the present article, shows the need for caution when we move from natural language conditionals to analysis of them in terms of necessary and sufficient conditions, and also the need for caution in modelling the latter conditions by means of formal operators. It appears that there are several kinds of conditionals, and correspondingly several kinds of conditions. As the developments outlined above have shown, there are as a result several formal schemes for translating and making sense of the variety of conditionals used in natural language and the conditions, if any, that they express.