Reasoning you can trace,
verify, and build on.
Unpacking...