Definition:

reallot