And if instead of a dog there was a crocodile, then it was no longer a crocodile that jumped, but a dragon.