(1) குறிப்பிட்ட requirements.~(2) (1) ஏற்றும் பயன்படுத்துவதற்கு இருந்து results ஆதாரம் ஒரு முறையான ஏற்றும் நிரூபிக்க mathematically என்று கணினி நிரல் பயன்படுத்த satisfies.