 This tripartite distinction between analytic, necessary, and material equivalence, when combined with the distinction between sententialism and propositionalism, yields six different possible (although not exhaustive) readings of the instances of (ES):