“frog pun”