Modified no_table to hold distinguishing formulae.