(Si) The theories in the advanced or mature sciences are successful.
(S2) A theory whose central terms genuinely refer will be a successful theory.
(S3) If a theory is successful, we can reasonably infer that its central terms
genuinely refer.
(S4) All the central terms in theories in the mature sciences do refer.