Formalizing Scenario Analysis