A new way to think about borrow checking (in reverse)