Formal analysis, policy formulation, and end-stage renal disease