Refutation_table loading ...