Recreate the graph
Rebuild the implication graph by drawing arrows from stronger notions to weaker ones. The target is the minimum set of essential arrows: transitive shortcuts count as redundant but valid.
A directed arrow A → B means A implies B: A is the
stronger notion.
· 0 arrows placed
Tap a source notion then a target to draw an arrow. Drag nodes to rearrange them.
Tap an arrow to remove it.
0 / 0
0
Correct
0
Redundant
0
Missing
0
Incorrect
Green: essential arrows in the minimum graph. Blue: valid transitive shortcuts that are redundant. Amber: essential arrows you missed. Red: arrows that aren't implied at all.