Comment by amelius

Seems incomplete. E.g. what happens if a borrower goes away?