Explain a derivation

The solver finds the chain and checks it. A model can then put the reasoning into words — quoted as its words, never as a claim this tool is making.

Want the connections rather than an explanation? The route finder lists every path between two formulas.