@@ -285,8 +285,7 @@ Let's try it on these expressions:
287You don't need to know any Nock to see that these two expressions are identical.
287You don't need to know any Nock to see that these two expressions are identical.
288−Thus we have witnessed, at the bedrock level, that doors really are just cores
288+Thus we have witnessed that doors really are just cores with samples.
291#### Back to the Example
290#### Back to the Example