(Marked) errata for the correction of the unit elimination rule.