Definition:

unnecessary