Update Implication-Table.txt