handle incorrect antecedents with an error message to user