 There are less formalist accounts of indirect interpretation in terms of explicit model-theoretic notions by Przelecki (1969: ch. 6) and Andreas  (2010).[2]  The latter account is based on ideas about theoretical terms in Carnap (1958). It emerged from an investigation into the similarities and dissimilarities between Carnapian postulates and definitions. Recall that Carnap viewed the axioms of a scientific theory as postulates since they contribute to the interpretation of theoretical terms. When explaining the Carnap sentence \(\TC^R \rightarrow \TC\), Carnap says that, if the Ramsey sentence is true, the theoretical terms are to be understood in accordance with some interpretation that satisfies TC. This is the sense in which we can say that Carnapian postulates contribute to the interpretation of theoretical terms in a manner akin to the interpretation of a defined term by the corresponding definition. Postulates and definitions alike impose a constraint on the admissible, or intended, interpretation of the complete language \(L(V)\), where V contains basic and indirectly interpreted terms.