corrigenda_term_predicates(ok).