the essay's central distinction. The formal layer is machine-checkable derivation; the intuitive layer is human meaning- making. They are usually treated as identical. They are not — and the gap between them is where errors hide and where understanding lives.
