 Scientific theory is thus taken to be a syntactically formulated set of theoretical sentences (axioms, theorems, and laws) together with their interpretation via correspondence sentences. As we have seen, theoretical sentences and correspondence sentences are cleanly distinct, even if both are included in the structure of a scientific theory.