Formal Decision