Definition:

elided