3.0 proof pt4

Another block of proofing. Only a few more to go.
We might wan to mention the `stackTrace` function here