WEBVTT

00:00:00.000 --> 00:00:05.099
See exactly what changed.
Typeset source excerpt from two real revisions.

00:00:05.100 --> 00:00:13.999
Then follow the signal.
Recorded partial RTL cone; not equivalence proof.