WEBVTT

cue-001
00:00:00.430 --> 00:00:03.646
Exact algebra can stay live inside an ordinary

cue-002
00:00:03.646 --> 00:00:04.795
model.

cue-003
00:00:06.060 --> 00:00:09.427
With plus two x, this perfect square has one double

cue-004
00:00:09.427 --> 00:00:10.425
root.

cue-005
00:00:11.900 --> 00:00:15.255
In Grid's Author view, change plus two x

cue-006
00:00:15.255 --> 00:00:17.751
to minus two x.

cue-007
00:00:18.780 --> 00:00:21.682
Factors, derivative, and root recompute

cue-008
00:00:21.682 --> 00:00:23.691
exactly, not as rounded

cue-009
00:00:23.691 --> 00:00:25.653
text.

cue-010
00:00:31.460 --> 00:00:34.479
The new certificate fingerprint is the evidence trail for that

cue-011
00:00:34.479 --> 00:00:35.640
result.

cue-012
00:00:46.150 --> 00:00:48.704
Edit the term. Keep the proof.