How long did it take you to realize that their names were puns?