Title: Formal Methods in Policy Formulation