Definition:

alligators