Title: Analysis, analytic propositions, and real definitions