Text this: Formal analysis, policy formulation, and end-stage renal disease /