Discounting and Maturity Value Formulas