Implication graph
implication