The analytic mortgage or, Why making those extra payments is so worthwhile Mortgage is a deterministic Markov chain * Code * Analytic version