Explanation for Formulation of This Code