若受查者採用電腦處理會計資訊，查核人員針對付款給供應商的正確性進行查核，下列何者不是有效之查核程序？

發票存在 ≠ 必須已付款，可能尚未到期、有爭議、或分期。要求每張發票都要在付款憑單中，邏輯錯誤，亦非查核付款正確性的有效程序。