A → B: A is used in the proof of B
the arrows of the box you point at or selected
two sections each using the other

Select a node in the graph, or search above, to read its statement and proof.