Sequential Object Lifecycle Diagram
The diagram shown on the slide titled "Sequential Object Life-Cycle" in lecture 11.1 is very heplful in visualizing states of ownership. It should be integrated into the section about type invariants and ownership.