Alan- I think I was making identifying "self-evident" with "analytic," and your mathematical example persuades me that I was wrong. Kant would certainly call "4+3 =7" a synthetic statement and it does indeed appear self-evident. Sorry.

J Kevin Quinn