Definition:

lifetimes