Turtle puns names. . ...