* [[https://arxiv.org/abs/2011.06171][The Usability of Ownership]] :rust:
I'm glad I learned "incompleteness" as a more concise way to express
"the borrow checker not being smart enough to accept code that does
not violate Rust's theoretical ownership rules".