To be sure, one might initially think that the proposition I is a merely analytic proposition that follows from the concept of a sum of seven and five in accordance with the principle of contradiction.