Implication graph
 
x
OK