i think we're on to something

diff's across the contents of the links, and also
across the states of the proof.

it could be we can flatten it to one diff?

thinking on #59....