Antecedent verification