Added first draft of implication graph