બહુવિધ પુનરાવર્તન આઉટપુટ સજા ટાળવા માટે, કાર્યો પરત કિંમતો ચકાસણી જ્યાં તેના પર આધાર રાખીને દ્વારા એક દલીલ તરીકે ફરી માળો સિદ્ધાંત લાગુ જોઈએ, અને આઉટપુટ, અથવા ઉપયોગ શરૂઆતમાં "અને" તે સંયુક્ત બધા એક જ સમયે શરતો પેદા કરે છે.