વધુમાં, શરતી અભિવ્યક્તિ ચકાસાયેલ છે, જેમાં પ્રતિ એક ચોક્કસ મૂલ્યની સાથે સરખાવવામાં આવે છે, અને જો તે સાચું આપે છે, જે શરીર ચલાવવામાં આવે છે.