Summary use-case 'borrowing and returning a copy' and user-goal reserving a copy