Model Formalism