કડક રીતે વ્યાખ્યાયિત માપદંડ સરળ સમગ્ર પ્રક્રિયા કાર્યક્રમ શરતો પૈકી એક છે, કે "પાસ્કલ" અથવા "C ++", ફક્ત વધુ સમસ્યા સંબોધવા માટે ઇનકાર બિન પરિપૂર્ણતા કિસ્સામાં તરીકે, કામ કરે છે.