Definition:

alligator