(FT) component must be observationally equivalent to the original theory (TC). The analytic (AT) component must be observationally uninformative. The combination of FT and AT must be logically equivalent to the original theory – that is, . Requirement 1 is satisfied by RTC in that the existential quantification of the T-terms does not change the logical truth (L-truth) of either statement, and the reconstruction FT has the same O-sentences as the theory itself, hence RTC is observationally equivalent to TC : (i.e., for every O-sentence: O, ). As stated, however, requirements 2 and 3 remain unsatisfied. That is, taken individually, AT does contain observational information (such-and-such a theoretical entity is observed to do such-and-such, or hold such-and-such a relation); and AT does not necessarily follow from FT. Carnap's solution is to make the two statements conditional. If there are some relations such that [TC (x1 . . . xn, o1 . . . om)] is satisfied when the variables are assigned some relations, then the relations assigned to those variables by the original theory will satisfy [TC (t1 . . . tn, o1 . . . om)] – or: RTC → TC. This important move satisfies both remaining requirements and effectively creates a distinction between the total formula's analytic and synthetic components. Specifically, for requirement 2: The conditional sentence does not make any information claim about the O-sentences in TC, it states only that "if" the variables in are satisfied by the relations, "then" the O-sentences will be true. This means that every O-sentence in TC that is logically implied by the sentence RTC → TC is L-true (i.e., every O-sentence in AT is true or not-true: the metal expands or it does not; the chemical turns blue or it does not, etc.). Thus TC can be taken as the non-informative (i.e., non-factual) component of the statement, or AT. Requirement 3 is satisfied by inference: given AT, infer FT → AT. This makes AT + FT nothing more than a reformulation of the original theory, hence AT Ù FT ó TC. Carnap took as a fundamental requirement a respect for the analytic–synthetic distinction. This is met by using two distinct processes in the formulation: drawing an empirical connection between the statement's factual content and the original theory (observational equivalence), and by requiring the analytic content to be observationally non-informative. Application Carnap's reconstruction as it is given here is not intended