Lec 12 - Why borrowing works