Every node is a claim; an arrow A → B means some argument infers B from A. Click a node to inspect it, drag to rearrange, scroll to zoom.