The Nature and Function of the Formal System