User:Do alligators alligate?