Truth_table_reduction loading ...