Definition:

tori