કોઈ પણ નિર્ણય ઔપચારિક, કોઇ પણ ઔપચારિક માહિતી મોડલ + = સખત અલ્ગોરિધમનો ચોક્કસ અને સ્પષ્ટ નિર્ણય હશે.