Links for implicational-logic-graph