Definition:

tings