Formal methods in policy formulation | lit.salon