erences alias <em>each other</em>.
This has no semantic consequences, but is probably a more useful notion when
verifying the soundness of a construct.)</p>

<p>That&#39;s it. Super simple right? Except for the fact that it took us two pages to
define all of the terms in that definition. You know: Super. Simple.</p>

<p>Actually it&#39;s a bit more complicated than that. In addition to references, Rust
has <em>raw pointers</em>: <code>*const T</code> and <code>*mut T</code>. Raw pointers have no inherent
ow