with library