corrected antecedent function