Update terminology
** Tabular facts once again print their substitutions on failure