Carnap's solution is to make the two statements conditional. If there are some relations such that (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 (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