Refining Ownership Mental Models

Consolidate understanding of the interplay between borrow rules and hardware execution.