implication graph updates