For that equals added to or subtracted from equals give an equal are analytic propositions, since I am immediately conscious of the identity of one generation of a mag nitude with the other; but axioms ought to be synthetic a priori propo sitions.