The pirate-based logic of Rust shared references(ais523.me.uk)

http://ais523.me.uk/blog/logic-of-shared-references.html