 Interpretation of a symbol by a definition counts as one type of indirect interpretation. Another type is the interpretation of theoretical terms by the axioms of a scientific theory. Carnap (1939: 65) remains content with a merely syntactic explanation of indirect interpretation: