Finished truth_tables