Truth_table loading ...