After briefly reviewing Propp's edge probability computation algorithm for weighted Aztec diamonds, we will show how this algorithm implies two recurrence relations that lead to a 3-variable generating function for the edge probabilities. The derivation is slightly messy but completely elementary. At the end, I will briefly mention why this generating function is interesting/difficult in terms of asymptotic analysis.