Are crocodiles afraid of shovels?